//
//  Config.h
//  AdvPropTestsCpp
//
//  Created by Brian Bogard on 2/23/12.
//  Copyright 2012 ASU. All rights reserved.
//

#ifndef AdvPropTestsCpp_Config_h
#define AdvPropTestsCpp_Config_h

#include <libconfig.h++>

using namespace libconfig;

class PropTesterConfig
{
public:
    PropTesterConfig( const char * _configFile );
    int getNumberOfGraphs() const;
    int getInitRedSelect() const;
    float getActiveEdgeProb() const; 
    
private:
    Config * m_config;
    const Setting * m_testerConfigRoot;
    
};

#endif
